Service basic.solution

Description
Returns one possible worked-out solution starting with the current expression. The first optional argument lets you configure the strategy, i.e., make some minor modifications to it. Rules used and intermediate expressions are returned in a list.

Input

• StrategyConfiguration (optional)
• State

Output

• Derivation